Approaches to specification-based testing
نویسندگان
چکیده
منابع مشابه
Testing the Tester: Specification and Validation Approaches
It’s a given that ATE test platforms are complex systems. Many HW and SW elements need to be integrated and work together for successful testing solutions. Too often we define a properly working platform within the context of the tools used to test and validate its behavior. Diagnostics, calibration, and special-purpose validation tools are used to prove a platform’s adherence to specifications...
متن کاملTeaching Specification-Based Testing
Historically, relatively less emphasis has been placed on software testing in comparison with other activities, such as systems analysis and design, of the software life cycle in an undergraduate computer science or software engineering curriculum. Testing, however, is a common and important technique used to detect program faults. Thus, testing must be taught rigorously to the students. This p...
متن کاملWhen Specification-based Testing Fails
Armando Haeberer made a substantial contribution in translating results from the philosophy of science to software testing. He showed that the limits of the standard methodology of confirming theories, where observations are derived from the theory and hypothesis, are also present in software testing. He strongly criticized Gaudel’s classical approach on test case generation, but also supplied ...
متن کاملApproaches to Speci cation-Based Testing
Current software testing practices focus, almost exclusively, on the implementation, despite widely acknowledged bene ts of testing based on software speci cations. We propose approaches to speci cation-based testing by extending a wide variety of implementation-based testing techniques to be applicable to formal speci cation languages. We demonstrate these approaches for the Anna and Larch spe...
متن کاملSemiring-based Specification Approaches for Quantitative Security
Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which a system is partially specified. Therefore, we suppose the existence of an unknown and possibly malicious agent that interacts in parallel with the system. Two specification frameworks are designed along two different...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 1989
ISSN: 0163-5948
DOI: 10.1145/75309.75319